Making function modeling practically usable

AI EDAM Special Issue on Functional Descriptions Making function modeling practically usable

Tetsuo Tomiyama, Delft University of Technology, Delft, The Netherlands ([email protected]) Thom J. van Beek, Delft University of Technology, The Netherlands ([email protected]) Andrés Alberto Alvarez Cabrera, Delft University of Technology, Delft, The Netherlands ([email protected]) Hitoshi Komoto, National Institute of Advanced Industrial Science and Technology, Tsukuba, Japan ...

Making Your Website Usable

Practically Making Threads Deterministic and Stable

Multithreaded programs are hard to get right. A key reason is that the contract between developers and runtimes grants exponentially many schedules to the runtimes. Two approaches improve correctness by reducing schedules. Deterministic multithreading (DMT) reduces schedules for each input down to one. Stable multithreading (SMT) reduces schedules for all inputs, increasing coverage of checking...

Making Term Extraction Tools Usable

The paper reviews the extraction of terminology from corpora. It identifies three possible applications, terminology, translation, and retrieval. They differ in the requirements for relevancy of terms to be extracted. Standard evaluation methods based on recall and precision critically depend on the notion of relevancy of a term, which is questionable and possibly outweighed in favour of criter...

GeodiseLab: Making the Grid Usable

The GeodiseLab project is supported by the OMII managed programme to extend and improve the Geodise toolboxes which provide Grid client functionality to Problem Solving Environments (PSEs) used by engineers and scientists. The three key areas of development in the Geodise toolboxes have been: extending the functionality of the toolboxes, supporting additional environments, and hardening the too...